大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Transactions on Computational Science IV [electronic resource] : Special Issue on Security in Computing

0
索取号：
作者：Gavrilova、 Marina L.、Tan、 C. J. Kenneth.、Moreno、 Edward David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Trustworthy Global Computing [electronic resource] : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

0
索取号：
作者：Kaklamanis、 Christos.、Nielson、 Flemming.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Emerging Trends in Visual Computing [electronic resource] : LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008. Revised Invited Papers

0
索取号：
作者：Nielsen、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Applications of Declarative Programming and Knowledge Management [electronic resource] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, W眉rzburg, Germany, October 4-6, 2007, Revised Selected Papers

0
索取号：
作者：Seipel、 Dietmar.、Hanus、 Michael.、Wolf、 Armin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.

Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings

0
索取号：
作者：Becker、 J眉rgen.、Woods、 Roger.、Athanas、 Peter.、Morgan、 Fearghal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

BAIL 2008 - Boundary and Interior Layers [electronic resource] : Proceedings of the International Conference on Boundary and Interior Layers - Computational and Asymptotic Methods, Limerick, July 2008

0
索取号：
作者：Hegarty、 Alan.、Kopteva、 Natalia.、O'Riordan、 Eugene.、Stynes、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Foundations of Software Science and Computational Structures [electronic resource] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号：
作者：Alfaro、 Luca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Trusted Computing [electronic resource] : Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings.

0
索取号：
作者：Chen、 Liqun.、Mitchell、 Chris J.、Martin、 Andrew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Applied Wave Mathematics [electronic resource] : Selected Topics in Solids, Fluids, and Mathematical Methods

0
索取号：
作者：Quak、 Ewald.、Soomere、 Tarmo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Logic-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

0
索取号：
作者：Hanus、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Architecture of Computing Systems-ARCS 2009 [electronic resource] : 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings

0
索取号：
作者：Berekovic、 Mladen.、M眉ller-Schloer、 Christian.、Hochberger、 Christian.、Wong、 Stephan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Soft Computing Based Modeling in Intelligent Systems [electronic resource]

0
索取号：
作者：Balas、 Valentina Emilia.、Fodor、 J谩nos.、V谩rkonyi-K贸czy、 Annam谩ria R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Coordination, Organizations, Institutions and Norms in Agent Systems IV [electronic resource] : COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised Selected Papers

0
索取号：
作者：H眉bner、 Jomi Fred.、Matson、 Eric.、Boissier、 Olivier.、Dignum、 Virginia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

0
索取号：
作者：Peled、 Doron A.、Wooldridge、 Michael J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Foundations in Grammatical Evolution for Dynamic Environments [electronic resource]

0
索取号：
作者：Dempsey、 Ian.、O鈥橬eill、 Michael.、Brabazon、 Anthony.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Algorithmic Foundation of Robotics VIII [electronic resource] : Selected Contributions of the Eight International Workshop on the Algorithmic Foundations of Robotics

0
索取号：
作者：Chirikjian、 Gregory S.、Choset、 Howie.、Morales、 Marco.、Murphey、 Todd.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.